Tailoring temporal description logics for reasoning over temporal conceptual models

Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the literature. On the other hand, reasoning on temporally extended DLs turn out to be too complex for effective reasoning ranging from 2ExpTime up to undecidable languages. We propose here to temporalize the ‘light-weight’ DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-Lite^N_bool, which was shown to be adequate for capturing non-temporal conceptual models without relationship inclusion, and its fragment DL-Lite^N_core with most primitive concept inclusions, which are nevertheless enough to represent almost all types of atemporal constraints (apart from covering)

NERA project - Deliverable D11.4: Array measurements

The aim of this Task is to present the seismological data and some preliminary empirical results related to two deployed specific arrays; (a) the Argostoli seismological array and (b) the Fucino seismological array. Both experiment arrays provided high quality data that along with corresponding geological and geophysical measurements may serve to critical evaluation of site effects and basin effects. In addition, work on modelling of basin effects may be significantly benefited by the observed acquired in both sites. Given that the analyses of the data obtained during the aforementioned experimental arrays will be performed in close link with activity of NERA-JRA3, the following goals are set: To investigate the link between ground motion spatial variability, strains, seismic wavefield and subsurface properties To compare numerical estimates of ground strain with actual measurements To investigate the capability of estimating ground strains from noise correlation studies. In order to organize and accomplish the work according to the initial schedule, several meetings (actual or/and Skype) among the participants took place during the 2nd year of the NERA-JRA1 project. Minutes of these meetings are given in Appendices 1, 2, 3 and 4.Network of European Research Infrastructures for Earthquake Risk Assessment and Mitigation Project, Seventh Framework Programme EC project number: 262330Published4T. Sismologia, geofisica e geologia per l'ingegneria sismic

Evolving Objects in Temporal Information Systems

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolution constraints, eventually devising a model-theoretic semantics for a full-fledged model with both timestamping and evolution constraints. The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption and logical implication. Furthermore, we show how to express temporal constraints using a subset of first-order temporal logic, i.e. DLRUS, the description logic DLR extended with the temporal operators Since and Until. We show how DLRUS is able to capture the various modelling constraints in a succinct way and to perform automated reasoning on temporal conceptual models

Derivation of consistent hard rock (1000<Vs<3000 m/s) GMPEs from surface and down-hole recordings: Analysis of KiK-net data

A key component in seismic hazard assessment is the estimation of ground motion for hard rock sites, either for applications to installations built on this site category, or as an input motion for site response computation. Empirical ground motion prediction equations (GMPEs) are the traditional basis for estimating ground motion while VS30 is the basis to account for site conditions. As current GMPEs are poorly constrained for VS30 larger than 1000 m/s, the presently used approach for estimating hazard on hard rock sites consists of “host-to-target” adjustment techniques based on VS30 and κ0 values. The present study investigates alternative methods on the basis of a KiK-net dataset corresponding to stiff and rocky sites with 500 < VS30 < 1350 m/s. The existence of sensor pairs (one at the surface and one in depth) and the availability of P- and S-wave velocity profiles allow deriving two “virtual” datasets associated to outcropping hard rock sites with VS in the range [1000, 3000] m/s with two independent corrections: 1/down-hole recordings modified from within motion to outcropping motion with a depth correction factor, 2/surface recordings deconvolved from their specific site response derived through 1D simulation. GMPEs with simple functional forms are then developed, including a VS30 site term. They lead to consistent and robust hard-rock motion estimates, which prove to be significantly lower than host-to-target adjustment predictions. The difference can reach a factor up to 3–4 beyond 5 Hz for very hard-rock, but decreases for decreasing frequency until vanishing below 2 Hz

Analytical model for support plate interference in eddy current tube testing

International audienceAn analytical model is developed for evaluating the eddy current signal from an inspection coil inside a tube under the area of a support plate. The electromagnetic field problem is formulated in terms of the magnetic vector potential and is solved using domain truncation and eigenfunction expansions. Closed-form expressions are derived for the coil impedance and the electromagnetic field. The support plate is effectively replaced by its own surface onto which the Leontovich impedance boundary condition is enforced. The model is quite efficient for the usual configuration that involves a non-ferromagnetic tube and a ferromagnetic support plate and its validity is verified with a commercial FEM package

Visual Scenarios for Validation of Requirements Specification

The development of a large information system is generally regarded as one of the most complex activities undertaken by organisations and it is dependent on the communication and understanding among the actors of the system (i.e. managers, users, developers, etc.). Users are predicted to use requirements and purpose as most natural descriptors of domains, while analysts use more formal representations. The Validation phase of Requirements Engineering, involves checking the formal description of the universe of discourse, against the non formal description of the user&apos;s needs and domain knowledge. Once a requirements specification has been produced, most organisations require formal reviews, in which the behaviour of the future system is communicated between the users and the analyst. This paper advocates that many benefits can be accrued from the use of visual scenarios for the purpose of validating conceptual specifications during Requirements Engineering. To this end, the paper descr..